61. Origins
المؤلف: Jon Mills.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Mind and reality.,Psychoanalysis-- Philosophy.,Subconsciousness.
62. Outline of mathematical logic :
المؤلف: Andrzej Grzegorczyk
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع:
رده :
QA9
.
A537
2013
63. Papers in philosophical logic /
المؤلف: David Lewis.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Logic, Symbolic and mathematical.
رده :
BC135
.
L44
1998
64. Proof analysis :
المؤلف: Sara Negri, Jan von Plato
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Proof theory
رده :
QA9
.
54
.
N438
2011
65. Proof analysis
المؤلف: / Sara Negri, Jan von Plato
المکتبة: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع: Proof theory
رده :
E-BOOK
66. Proof in VDM
المؤلف: Juan C. Bicarregui (ed.). Case studies.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Automatisches Beweisverfahren.,Isabelle ,VDM.
67. Proof in geometry
المؤلف: Fetisov, A. I.
المکتبة: (طهران)
موضوع: ، Axioms,، Logic, Symbolic and mathematical
رده :
QA
481
.
F433
1978
68. Quantum structures and the nature of reality
المؤلف: edited by Diederik Aerts and Jaroslaw Pykacz.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Quantum logic -- Congresses.,Quantum logic.,Science -- Philosophy -- Congresses.
رده :
QC174
.
17
.
M35
E358
2011
69. Quine, new foundations, and the philosophy of set theory /
المؤلف: Sean Morris, Metropolitan State University of Denver.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Quine, W. V., (Willard Van Orman),Quine, W. V., (Willard Van Orman),Set theory.,PHILOSOPHY-- Logic.,Set theory.
رده :
B945
.
Q54
70. Real analysis and probability
المؤلف: / R.M. Dudley
المکتبة: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع: Mathematical analysis,Functions of real variables,Probabilities
رده :
E-BOOK
71. Representation theorems in computer science :
المؤلف: Özgür Lütfü Özçep.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Computer logic.,Spatial systems.,Computer logic.,Spatial systems.
رده :
QA76
.
9
.
L63
O93
2019
72. SIGIR '94 :
المؤلف: W Bruce Croft
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: ACM,information retrieval,SIGIR
73. Set Theory
المؤلف: edited by Carlos Augusto Prisco, Jean A. Larson, Joan Bagaria, A. R. D. Mathias.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Global analysis (Mathematics).,Logic, Symbolic and mathematical.,Mathematics.,Topology.
74. Set Theory
المؤلف: Joan Bagaria.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Conjuntos, Teoría de.
75. Set theory :
المؤلف: Abhijit Dasgupta
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Point set theory.,Set theory.
رده :
QA248
.
D37
2014
76. Spinoza in twenty-first-century American and French philosophy :
المؤلف: edited by Jack Stetter and Charles Ramond.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Spinoza, Benedictus de,1632-1677.,Spinoza, Benedictus de,1632-1677.,Philosophy, American-- 21st century.,Philosophy, French-- 21st century.,PHILOSOPHY-- History & Surveys-- Modern.,Philosophy, American.,Philosophy, French.
رده :
B3998
.
S72785
2019
77. Sprachphilosophie
المؤلف: / Elisabeth Leiss
المکتبة: مكتبة حرم كيش الدولي بجامعة طهران (هرمزکان)
موضوع: Linguistics -- Philosophy,Language and logic,Axioms,Logic
رده :
P
121
.
L5
2012
78. Subsystems of Second Order Arithmetic
المؤلف: by Stephen G. Simpson.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Computer science.,Logic, Symbolic and mathematical.,Mathematics.
رده :
HF1008
.
B978
1999
79. Temporal Logic of Programs
المؤلف: by Fred Kröger.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Computer science.,Logic design.
رده :
QA76
.
9
.
L63
B947
1987
80. The Arché papers on the mathematics of abstraction /
المؤلف: edited by Roy T. Cook.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Abstraction.,Logic, Symbolic and mathematical.,Mathematics-- Philosophy.,Abstraction.,Logic, Symbolic and mathematical.,MATHEMATICS-- History & Philosophy.,Mathematics-- Philosophy.,Sciences humaines.,Sciences sociales.
رده :
QA8
.
4
.
A73
2007eb
